State-space representation

Results: 35



#Item
21A resettable Kalman filter based on numerical differentiation S. Diop, V. Fromion, J. W. Grizzle  Abstract The extended Kalman filter is known to have excellent filtering

A resettable Kalman filter based on numerical differentiation S. Diop, V. Fromion, J. W. Grizzle Abstract The extended Kalman filter is known to have excellent filtering

Add to Reading List

Source URL: web.eecs.umich.edu

Language: English - Date: 2016-04-25 13:15:11
22ABOUT MANUSCRIPTS FOR IJ ITA

ABOUT MANUSCRIPTS FOR IJ ITA

Add to Reading List

Source URL: foibg.com

Language: English - Date: 2015-02-02 08:46:59
23LQG-Based Planning, Sensing, and Control of Steerable Needles Jur van den Berg1 , Sachin Patil1 , Ron Alterovitz1, Pieter Abbeel2 , Ken Goldberg2 Abstract This paper presents a technique for planning and controlling beve

LQG-Based Planning, Sensing, and Control of Steerable Needles Jur van den Berg1 , Sachin Patil1 , Ron Alterovitz1, Pieter Abbeel2 , Ken Goldberg2 Abstract This paper presents a technique for planning and controlling beve

Add to Reading List

Source URL: goldberg.berkeley.edu

Language: English - Date: 2011-01-03 19:51:59
24Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus Daisuke Ishii1 , Guillaume Melquiond2 , and Shin Nakajima1 1  2

Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus Daisuke Ishii1 , Guillaume Melquiond2 , and Shin Nakajima1 1 2

Add to Reading List

Source URL: www.lri.fr

Language: English - Date: 2013-06-11 11:16:39
25FnattLabME 2.Release Helmut Dersch March 22, 2006 Abstract This revised version of FnattlabME, the Matlab/Octave/Scilab compatible calculator for mobile devices, has been extended and the user interface has been adapted

FnattLabME 2.Release Helmut Dersch March 22, 2006 Abstract This revised version of FnattlabME, the Matlab/Octave/Scilab compatible calculator for mobile devices, has been extended and the user interface has been adapted

Add to Reading List

Source URL: webuser.fh-furtwangen.de

Language: English - Date: 2006-03-22 05:33:35
26State Space Representation for Verification of Open Systems IREM AKTUG  Licentiate Thesis

State Space Representation for Verification of Open Systems IREM AKTUG Licentiate Thesis

Add to Reading List

Source URL: www.csc.kth.se

Language: English - Date: 2006-05-11 10:12:13
    27Free-Start Distinguishing: Combining Two Types of Indistinguishability Amplification Peter Gaˇzi1,2 and Ueli Maurer1 1  2

    Free-Start Distinguishing: Combining Two Types of Indistinguishability Amplification Peter Gaˇzi1,2 and Ueli Maurer1 1 2

    Add to Reading List

    Source URL: pub.ist.ac.at

    Language: English - Date: 2014-06-19 17:30:43
    28Time-Aware Relational Abstractions for Hybrid Systems Sergio Mover∗ FBK, Trento

    Time-Aware Relational Abstractions for Hybrid Systems Sergio Mover∗ FBK, Trento

    Add to Reading List

    Source URL: es-static.fbk.eu

    Language: English - Date: 2013-09-26 05:44:33
    29Ontological Model of Multi-Source Smart Space Content for Use in Cultural Heritage Trip Planning Kirill A. Kulakov, Oksana B. Petrina Petrozavodsk State University Department of Computer Science

    Ontological Model of Multi-Source Smart Space Content for Use in Cultural Heritage Trip Planning Kirill A. Kulakov, Oksana B. Petrina Petrozavodsk State University Department of Computer Science

    Add to Reading List

    Source URL: www.cs.karelia.ru

    Language: English - Date: 2015-05-07 07:59:13
    30Advocating a Precise Point Positioning Service Operated by EUREF G. Weber and W. Söhne RTCM recently released a standard on “State Space Representation Messages” (SSR). It is therefore likely that using so-called SS

    Advocating a Precise Point Positioning Service Operated by EUREF G. Weber and W. Söhne RTCM recently released a standard on “State Space Representation Messages” (SSR). It is therefore likely that using so-called SS

    Add to Reading List

    Source URL: www.euref.eu

    Language: English - Date: 2011-10-24 11:55:22